home *** CD-ROM | disk | FTP | other *** search
/ Skunkware 5 / Skunkware 5.iso / src / Tools / linuxdoc-sgml-1.1 / rep / min / mapping < prev    next >
Encoding:
Text File  |  1995-05-03  |  5.1 KB  |  392 lines

  1.  
  2. % Minimization replacement file
  3. % Tags are replaced by short references. Optional opening and closing
  4. % tags are deleted
  5. % Entities are replaced by themselves.
  6.  
  7. <qwertz>    +      "<!DOCTYPE QWERTZ PUBLIC \"-//GMD//DTD qwertz//EN\">\n"
  8.                "<qwertz>"        +
  9. </qwertz>    +      "</qwertz>"        +
  10.  
  11. <article>    +     "<article opts=\"[opts]\">"    +
  12. </article>    +    "</article>"    +
  13.  
  14. <report>    +     "<report opts=\"[opts]\">"    +
  15. </report>    +    "</report>"        +
  16.  
  17.  
  18. <book>        +     "<book opts=\"[opts]\">"    +
  19. </book>        +    "</book>"        +
  20.  
  21.  
  22. <notes>     +    "<notes opts=\"[opts]\">"    +
  23. </notes>    +    "</notes>"        +
  24.  
  25.  
  26. % Manual Pages are expected to be formatted using nroff (or groff), unless
  27. % they are included  as sections of other qwertz documents.  
  28.  
  29. <manpage>    +    "<manpage opts=\"[opts]\" title=\"[title]\"\n"
  30.             "sectnum=\"[sectnum]\">"    +
  31. </manpage>    +    "</manpage>"        +
  32.  
  33. <titlepag>    +    "\n\n"
  34. </titlepag>    +    "\n\n"
  35.  
  36. <title>        +    "<title> "        
  37. </title>        
  38.  
  39. <subtitle>    +    "<subtitle> "    
  40. </subtitle>        
  41.  
  42. <author>    +    "<author> "
  43. </author>    
  44.  
  45. <name>            
  46. </name>            
  47.  
  48. <and>            "<and>"
  49. </and>
  50.  
  51. <thanks>        "<thanks>"
  52. </thanks>        
  53.  
  54. <inst>        +    "<inst>"     
  55. </inst>            
  56.  
  57. <newline>        "&nl"    +
  58.  
  59. <label>            "<label id=\"[id]\">"
  60.  
  61.  
  62. <header>    +    "<header>"
  63. </header>        "</header>"    +
  64.  
  65. <lhead>            "<lhead>"
  66. </lhead>        
  67.  
  68. <rhead>            "<rhead>"
  69. </rhead>        
  70.  
  71. <comment>    +    "<comment>"        +
  72. </comment>    +    "</comment>"        +
  73.  
  74. <abstract>    +    "<abstract>"        +
  75. </abstract>    +    "</abstract>"        +
  76.  
  77. <appendix>    +    "<appendix>"        +
  78. </appendix>
  79.  
  80. <toc>        +    "<toc>"            +
  81. </toc>
  82.  
  83. <lof>        +    "<lof>"            +
  84. </lof>
  85.  
  86. <lot>        +    "<lot>"            +
  87. </lot>
  88.  
  89. <chapt>        +    "\n\n\n<chapt> "
  90. </chapt>    
  91.  
  92. <sect>        +    "\n\n<sect> "
  93. </sect>        
  94.  
  95. <sect1>        +    "\n\n<sect1> "
  96. </sect1>    
  97.  
  98. <sect2>        +    "\n\n<sect2> "
  99. </sect2>    
  100.  
  101. <sect3>        +    "\n\n<sect3> "
  102. </sect3>    
  103.  
  104. <sect4>        +    "\n\n<sect4> "        
  105. </sect4>    
  106.  
  107. <heading>        
  108. </heading>        "\n\n"            +
  109.  
  110. <p>        +    "<p>"            +
  111. </p>            "\n\n"            +
  112.  
  113. <itemize>    +    "<itemize>"    +
  114. </itemize>    +    "</itemize>"        +
  115.  
  116. <enum>        +    "<enum>"        +
  117. </enum>        +    "</enum>"        +
  118.  
  119. <descrip>    +    "<descrip>"        +
  120. </descrip>    +    "</descrip>"        +
  121.  
  122. <item>        +    "<item> "
  123. </item>            
  124.  
  125. <tag>            "<tag/"
  126. </tag>            "/ "
  127.  
  128. <cite>            "<cite id=\"[id]\">"
  129. </cite>
  130.  
  131. <ncite>            "<ncite id=\"[id]\" note=\"[note]\">"
  132. </ncite>
  133.  
  134. <footnote>        "<footnote>"
  135. </footnote>        "</footnote>"        
  136.  
  137. <sq>            "\""
  138. </sq>            "\""
  139.  
  140. <lq>        +    "<lq>"            +
  141. </lq>        +    "</lq>"            +
  142.  
  143. <em>             "<em/"
  144. </em>            "/"
  145.  
  146. <bf>            "<bf/"
  147. </bf>            "/"
  148.  
  149. <it>            "<it/"
  150. </it>            "/"
  151.  
  152. <sf>            "<sf/"
  153. </sf>            "/"
  154.  
  155. <sl>            "<sl/"
  156. </sl>            "/"
  157.  
  158. <tt>            "<tt/"
  159. </tt>            "/"
  160.  
  161. <ref>            "<ref id=\"[id]\">"
  162. </ref>
  163.  
  164. <pageref>        "<pageref id=\"[id]\">"
  165. </pageref>
  166.  
  167. <x>            "<x>"
  168. </x>            "<\x>"
  169.  
  170. <mc>            "<mc/"
  171. </mc>            "/"
  172.  
  173. <biblio>    +    "<biblio style=\"[style]\" files=\"[files]\">" +
  174. </biblio>    
  175.  
  176. <code>        +    "<code>"        +
  177. </code>        +    "</code>"        +
  178.  
  179. <verb>        +    "<verb>"        +
  180. </verb>        +    "</verb>"        +
  181.  
  182.  
  183. % theorems and such
  184.  
  185. <def>        +    "<def>"            
  186. </def>        +    "</def>"        +
  187.  
  188. <prop>        +    "<prop>"        
  189. </prop>        +    "</prop>"        +
  190.  
  191. <lemma>        +    "<lemma>"        
  192. </lemma>    +    "</lemma>"        +
  193.  
  194. <coroll>    +    "<coroll>"        
  195. </coroll>    +    "</coroll>"        +
  196.  
  197. <proof>        +    "<proof>"        
  198. </proof>    +    "</proof>"        +
  199.  
  200. <theorem>    +    "<theorem>"        
  201. </theorem>    +    "</theorem>"        +
  202.  
  203. <thtag>            "<thtag/"
  204. </thtag>        "/"
  205.  
  206. % mathematics 
  207.  
  208. <f>            "\["
  209. </f>            "\]"
  210.  
  211. <dm>        +    "<dm>"            +
  212. </dm>        +    "</dm>"  +
  213.  
  214. <eq>        +    "<eq>"            +
  215. </eq>        +    "</eq>"            +
  216.  
  217. <fr>            "<fr>"
  218. </fr>            "</fr>"
  219.  
  220. <nu>            "<nu>"
  221. </nu>        
  222.  
  223. <de>            "<de>"
  224. </de>            
  225.  
  226. <lim>            "<lim>"
  227. </lim>            "</lim>"
  228.  
  229. <op>            "<op/"
  230. </op>            "/"
  231.  
  232. <ll>            "<ll>"
  233. </ll>        
  234.  
  235. <ul>            "<ul>"
  236. </ul>        
  237.  
  238. <opd>            "<opd>"
  239. </opd>        
  240.  
  241. <pr>            "<pr>"
  242. </pr>            "</pr>"
  243.  
  244. <in>            "<int>"
  245. </in>            "</int>"
  246.  
  247. <sum>            "<sum>"
  248. </sum>            "</sum>"
  249.  
  250. <root>            "<root>"
  251. </root>            "</root>"
  252.  
  253. <ar>            "<ar>"
  254. </ar>            "</ar>"
  255.  
  256. <arr>                   " @"        +
  257. </arr>            
  258.  
  259. <arc>                   " | "
  260. </arc>        
  261.  
  262. <sup>            "<sup/"
  263. </sup>            "/"
  264.  
  265. <inf>            "<inf/"
  266. </inf>            "/"
  267.  
  268. <unl>            "<unl/"
  269. </unl>            "/"
  270.  
  271. <ovl>            "<ovl/"
  272. </ovl>            "/"
  273.  
  274. <rf>            "<rf/"
  275. </rf>            "/"
  276.  
  277. <v>            "<v/"
  278. </v>            "/"
  279.  
  280. <fi>            "<fi/"
  281. </fi>            "/"
  282.  
  283. <phr>            "<phr/"
  284. </phr>            "/"
  285.  
  286. <tu>            "<tu>"
  287. </tu>
  288.  
  289. % figures
  290.  
  291. <figure>    +    "<figure>"            +
  292. </figure>    +    "</figure>"            +
  293.  
  294. <eps>        +       "<eps file=\"[file]\">"  +
  295. </eps>                    
  296.                 
  297.  
  298. <ph>        +    "<ph vspace=\"[vspace]\">"    +
  299. </ph>    
  300.  
  301. <caption>    +    "<caption>"
  302. </caption>        "</>"                 +
  303.  
  304. % tables
  305.  
  306. <table>        +     "<table>"    +
  307. </table>    +    "</table>"    +
  308.  
  309. <tabular>    +    "<tabular ca=\"[ca]\">"        +
  310. </tabular>    +    "</tabular>"            +
  311.  
  312. <rowsep>        " @"        +
  313. </rowsep>
  314.  
  315. <colsep>        " | "
  316. </colsep>
  317.  
  318. <hline>        +    "<hline>"    +
  319. </hline>
  320.  
  321. % slides
  322.  
  323. <slides>    +     "<slides>"    +
  324. </slides>    +    "</slides>"    +
  325.  
  326. <slide>        +    "<slide>"    +
  327. </slide>
  328.  
  329. % letters
  330.  
  331.  
  332. <letter>    +    "<letter opts=\"[opts]\">"    +
  333. </letter>    +    "</letter>"        +
  334.  
  335. <telefax>    +    "<telefax opts=\"[opts]\">"    +
  336. </telefax>    +    "</telefax>"            +
  337.  
  338. <opening>    +      "<opening>"
  339. </opening>        ""        +
  340.  
  341.  
  342. <from>        +    "<from>"            
  343. </from>            ""        +
  344.  
  345.  
  346. <to>        +    "<to>"
  347. </to>            ""        +
  348.  
  349. % first end definition of name
  350.  
  351. <address>    +    "<address>"    
  352. </address>        ""        +
  353.  
  354. <email>        +    "<email>"
  355. </email>        ""    +
  356.  
  357. <phone>        +    "<phone>"    
  358. </phone>    
  359.  
  360.  
  361. <fax>        +    "<fax>"
  362. </fax>            ""        +
  363.  
  364. <subject>    +    "<subject>"
  365. </subject>        ""        +
  366.  
  367.  
  368. <sref>        +    "<sref>"    
  369. </sref>            ""        +
  370.  
  371. <rref>        +    "<rref>"    
  372. </rref>            ""        +
  373.  
  374. <rdate>        +    "<rdate>"
  375. </rdate>        ""    +
  376.  
  377. <closing>    +    "<closing>"    
  378. </closing>        ""        +
  379.  
  380. <cc>        +    "<cc>"
  381. </cc>            ""        +
  382.  
  383. <encl>        +    "<encl>"
  384. </encl>            ""        +
  385.  
  386. <ps>        +    "<ps>"        +
  387. </ps>        +    ""        +
  388.  
  389.  
  390. % end of min replacement file 
  391.  
  392.